581. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
B68
582. Third International Congress on Information and Communication Technology :
پدیدآورنده : Sin-She Yang, Simon Sherratt, Nilanjan Dey, Amit Joshi, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Information technology, Congresses.,Internet of things, Congresses.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.,Internet of things.
رده :
T58
.
5
583. Time-space, spiking neural networks and brain-inspired artificial intelligence /
پدیدآورنده : Nikola K. Kasabov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational neuroscience.,Machine learning.,Neural networks (Computer science),Object-oriented methods (Computer science),Artificial intelligence.,Computational neuroscience.,COMPUTERS-- Programming-- Object Oriented.,Life sciences: general issues.,Machine learning.,Neural networks (Computer science),Neurosciences.,Object-oriented methods (Computer science),Pattern recognition.,Robotics.
رده :
QA76
.
9
.
O35
584. To the digital age :
پدیدآورنده : Ross Knox Bassett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronics-- Social aspects.,Metal oxide semiconductors-- History.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,Electronics-- Social aspects.,Halfgeleiders.,Metaaloxide silicium structuren.,Metal oxide semiconductors.
رده :
TK7871
.
99
.
M44
B373
2002eb
585. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
586. Topics in theoretical computer science :
پدیدآورنده : Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
587. Toward deep neural networks :
پدیدآورنده : Yunong Zhang, Dechao Chen, Chengxu Ye
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Neural networks (Computer science),BUSINESS & ECONOMICS / Statistics,COMPUTERS / General,COMPUTERS / Machine Theory,Neural networks (Computer science)
رده :
QA76
.
87
.
Z47537
2019eb
588. Towards the Internet of Things :
پدیدآورنده : Mohammad Ali Jabraeil Jamali, Bahareh Bahrami, Arash Heidari, Parisa Allahverdizadeh, Farhad Norouzi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Internet of things.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Internet of things.
رده :
TK5105
.
8857
589. Transactions on computational collective intelligence XXIX /
پدیدآورنده : edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence.,Artificial intelligence.,Artificial intelligence.,Computational linguistics.,Computer science.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Natural language & machine translation.,Text processing (Computer science)
رده :
Q342
590. Tree automata and languages
پدیدآورنده : edited by Maurice Nivat, Andreas Podelski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Sequential machine theory,، Trees )Graph theory(,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
T74
1992
591. Trends and advances in information systems and technologies.
پدیدآورنده : Álvaro Rocha, Hojjat Adeli, Luís Paulo Reis, Sandra Costanzo, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Artificial intelligence.,Computer networks.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
T58
.
5
592. Turkish natural language processing /
پدیدآورنده : Kemal Oflazer, Murat Saraçlar, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Natural language processing (Computer science),Turkish language-- Translating.,Turkish language.,Artificial intelligence.,Computational linguistics.,COMPUTERS-- General.,Imaging systems & technology.,Natural language & machine translation.,Natural language processing (Computer science),Turkish language-- Translating.,Turkish language.
رده :
QA76
.
9
.
N38
593. Ubiquitous computing and computing security of IoT /
پدیدآورنده : N. Jeyanthi, Ajith Abraham, Hamid Mcheick, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Internet of things-- Security measures.,Ubiquitous computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Ubiquitous computing.
رده :
TK5105
.
8857
.
U25
2019
594. Understanding and interpreting machine learning in medical image computing applications :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
رده :
RC78
.
7
.
D53
I58
2018
595. Understanding machine learning :from theory to algorithms
پدیدآورنده : Shalev-Shwartz, Shai.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Machine learning,، Algorithms,، COMPUTERS / Computer Vision & Pattern Recognition
رده :
Q
325
.
5
.
S475
2014
596. Untangling complex systems :
پدیدآورنده : Pier Luigi Gentili.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Event processing (Computer science),COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Event processing (Computer science)
رده :
QA76
597. User research :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Customer relations.,Human-computer interaction.,User-centered system design.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Customer relations.,Human-computer interaction.,User-centered system design.
رده :
QA76
.
9
.
H85
598. Utility computing technologies, standards, and strategies /
پدیدآورنده : Alfredo Mendoza.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing.,Information technology-- Management.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing-- Distributed processing.,Information technology-- Management.
رده :
HD30
.
2
.
M456
2007eb
599. Utilizing information technology systems across disciplines :
پدیدآورنده : Evon M.O. Abu-Taieh, Asim A. El-Sheikh, Jeihan Abu-Tayeh, [editors].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Information resources management.,Information technology.,Management information systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information resources management.,Information technology.,Management information systems.
رده :
T58
.
5
.
U88
2009eb
600. VHDL-2008 :
پدیدآورنده : Peter J. Ashenden, Jim Lewis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : VHDL (Computer hardware description language),COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,VHDL (Computer hardware description language),VHDL (Computer hardware description language)
رده :
TK7885
.
7
.
A846
2008eb
